λ演算 (Lambda Calculus) 一 ： 定義與函數式編程

1. 什么是λ演算 (Lambda Calculus)？ λ演算是數學家邱奇（Alonzo Church）在20世紀30年代發表的一種計算模型，以變量綁定和替換的規則，每個輸入參數用 ...